Books by author Mauricio Ayala-Rincón

Showing 1 – 2 out of 2 results

1. 

   Interactive Theorem Proving

   Mauricio Ayala-Rincón, César A. Mu?oz | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Applied Logic for Computer Scientists

   Mauricio Ayala-Rincón, Flávio L. C. de Moura | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   45.45 €

   Sale 9 %

   You save 4.87 €

   Buy

Estimated delivery date you can see on the book page. Find out more